| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Automata Theory | Advanced Automata Theory | Fach-/Modulprüfung | 6 | 452625 | ||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 455987 | ||
| Effiziente Algorithmen - Übung | Tutorium | 455728 | Mo 14:30-16:00 AH IV (2354|030) (×9) | |||
| Effiziente Algorithmen | Vorlesung | 455727 | Mi 15:00-17:00 AH V (2356|050) (×1) Do 14:30-16:00 AH V (2356|050) (×9) Fr 10:30-12:00 AH V (2356|050) (×7) Fr 11:00-12:30 Seminarraum i1, Raum 4017 (2353|017) (×1) | |||
| Functional Programming | Funktionale Programmierung | Fach-/Modulprüfung | 6 | 453151 | ||
| Logic Programming | Logikprogrammierung | Fach-/Modulprüfung | 6 | 452059 | ||
| Logikprogrammierung | Übung | 454727 | Di 16:30-18:00 AH III (2350|314.1) (×2) Mi 09:00-13:00 AH III (2350|314.1) (×1) Mi 09:30-12:30 5055 (2356|055) (×1) Mi 16:30-18:00 AH IV (2354|030) (×8) Do 09:00-18:00 5055 (2356|055) (×1) Fr 12:30-14:00 AH III (2350|314.1) (×1) | |||
| Logikprogrammierung | Vorlesung | 454728 | Di 16:30-18:00 AH III (2350|314.1) (×11) Mi 16:30-18:00 AH IV (2354|030) (×2) Fr 12:30-14:00 AH III (2350|314.1) (×11) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 455274 | ||
| Introduction to Model Checking | Übung | 455137 | Mo 10:30-12:00 AH II (2350|111) (×1) Mi 16:30-18:00 AH V (2356|050) (×10) | |||
| Introduction to Model Checking | Vorlesung | 455138 | Mo 10:30-12:00 AH II (2350|111) (×12) Mo 14:00-16:00 5055 (2356|055) (×1) Do 12:30-14:00 AH II (2350|111) (×9) |